#ifndef _SYSCALL_H_
#define _SYSCALL_H_

#include "stdint.h"
#include "proc.h"

#define SYS_WRITE   64
#define SYS_GETPID  172
#define SYS_READ 63

unsigned long sys_write(unsigned int fd, const char* buf, int count);

unsigned long sys_getpid();

int64_t sys_read(unsigned int fd, char* buf, uint64_t count);

#endif